Cryptographic primitive - PDFSEARCH.IO - Document Search Engine

Cryptographic primitive
Results: 89

#	Item
1	Efficient Cryptography on RISC-V Advisor(s): Thomas Unterluggauer Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation Add to Reading List Source URL: www.iaik.tugraz.at Language: English - Date: 2015-11-30 11:00:03 Computer architecture Instruction set architectures Computing Reduced instruction set computing RISC-V Cryptography Cryptographic primitive Instruction set Institute for Applied Information Processing and Communications
2	Functional Signcryption: Notion, Construction, and Applications by Pratish Datta joint work with Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-11-22 02:25:24 Cryptography Public-key cryptography Signcryption Cryptographic primitive Ciphertext indistinguishability Key
3	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-05 03:04:49 Cryptography Applied mathematics Symmetric-key algorithm Advanced Encryption Standard Block cipher Encryption Cipher Cryptographic primitive Data Encryption Standard Index of cryptography articles Outline of cryptography
4	Joshua Erin Hill Résumé The machine does not isolate man from the great problems of nature but plunges him more deeply into them. – Antoine de Saint-Exupéry Add to Reading List Source URL: untruth.org Language: English - Date: 2016-06-07 14:19:23 Cryptography Cryptography standards Pseudorandom number generators Key management FIPS 140-2 Random number generation Dual EC DRBG Key Cryptographic primitive Entropy Cryptographic Module Validation Program Block cipher
5	Abstracting Cryptographic Protocols with Tree Automata ? David Monniaux http://www.di.ens.fr/%7Fmonniaux, ´ Laboratoire d’Informatique, Ecole Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:59 Cryptography Public-key cryptography E-commerce Cryptographic protocols Internet Standards Computer security DolevYao model Cryptographic primitive Digital signature Communications protocol BurrowsAbadiNeedham logic XTR
6	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
7	LNCSOn Robust Combiners for Private Information Retrieval and Other Primitives Add to Reading List Source URL: dcg.ethz.ch Language: English - Date: 2014-09-26 08:36:31 Cryptography Private information retrieval Oblivious transfer VEST Power dividers and directional couplers Cryptographic primitive Block cipher Pir X Window System Commitment scheme
8	Very-efficient simulatable flipping of many coins into a well (and a new very-efficient extractable-and-equivocable commitment scheme) Luís T. A. N. Brandão∗ (Technical report – June 28, Abstract. Secure two Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-06-28 21:51:08 Cryptography Public-key cryptography Commitment scheme Secret sharing Zero-knowledge proof Cryptographic hash function Coin flipping Universal composability Cryptographic primitive One-way function Claw-free permutation RSA
9	- Call for papers The Ninth International Conference on Provable Security (ProvSecNovember 24-26, 2015 Kanazawa, Japan Web Page: https://security-lab.jaist.ac.jp/provsec2015/ Contact: t.a Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-08-13 01:39:17 Cryptography Serge Vaudenay Provable security Zhang Fangguo Cryptographic primitive Willy Susilo Block cipher Cryptographic hash function
10	ESORICS 2015 Program Guide ESORICS only 21 – 25 September 2015 Vienna, Austria www.esorics2015.sba-research.org Add to Reading List Source URL: esorics2015.sba-research.org Language: English - Date: 2015-09-22 04:03:47 Public-key cryptography E-commerce Key management Public key infrastructure Secure communication Cryptographic primitive ID-based encryption Cryptography Cryptographic protocol Zero-knowledge proof Public key certificate Digital signature

UPDATE